LLGuidance: Making Structured Outputs Go Brrr
guidance-ai.github.io·19h·
Discuss: Hacker News
📝Concrete Syntax
Uncovering the Fragility of Trustworthy LLMs through Chinese Textual Ambiguity
arxiv.org·4h
🔍Z3 Parsing
Why We Need to Know LR and Recursive Descent Parsing Techniques
tratt.net·1d·
Discuss: Lobsters, r/programming
🔗Parser Combinators
Tired of Pydantic? Try These 5 Game-Changing Python Libraries
dev.to·1h·
Discuss: DEV
📝Concrete Syntax
Issue 483
haskellweekly.news·20h
🔗Functional Compilers
Cactus Language • Pragmatics 5
inquiryintoinquiry.com·2d
📐Format Grammars
2025.07.DisappearingMoment
newsletter.disappearingmoment.com·7h
🎯Gradual Typing
Categorising My Daily Todo List with Deepseek-R1
bentasker.co.uk·23h·
Discuss: Hacker News
🌳Incremental Parsing
Footnotes, Gödel exercises, Purcell
logicmatters.net·18h
👑Isabelle
Structured Parsing Is the Key to Making LLMs Work on Large Codebases
hackernoon.com·2d
🌳Incremental Parsing
Discrete Tokenization for Multimodal LLMs: A Comprehensive Survey
arxiv.org·4h
📝Text Parsing
Trustworthy Reasoning: Evaluating and Enhancing Factual Accuracy in LLM Intermediate Thought Processes
arxiv.org·4h
✓Automated Theorem Proving
Laurence Tratt: Which Parsing Approach?
tratt.net·2d·
Discuss: r/programming
📝Parsing Grammars
A Scalable Pipeline for Estimating Verb Frame Frequencies Using Large Language Models
arxiv.org·1d
🔗Monadic Parsing
Structured outputs with Amazon Nova: A guide for builders
aws.amazon.com·15h
💧Liquid Types
The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol·12h·
Discuss: Hacker News
💧Liquid Types
I Tried LangGraph + Kimi K2 + Context Engineering & I’m REALLY Impressed!
dev.to·1d·
Discuss: DEV
🎙️Whisper
Optimizing training a GPT style Tokenizer with C++
justinhj.github.io·2d
⚙️Compression Benchmarking
[P] A Black Box LLM Explainability Metric
reddit.com·1d·
Discuss: r/MachineLearning
🧠Intelligence Compression
Not everything needs GPT. Sometimes a simple equation will do
danielball.com·18h·
Discuss: Hacker News
🧠Machine Learning